Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 3.Ident. | Authors (with country if any) | Title |
---|---|---|
006240 | Maribel Fernández [Royaume-Uni] ; Ian Mackie [Royaume-Uni] ; François-Régis Sinot [France] | Lambda-Calculus with Director Strings |
00C105 | Maribel Fernández [France] | AC Complement Problems: Satisfiability and Negation Elimination |
00D657 | Maribel Fernández [France] | Narrowing based procedures for equational disunification |
This area was generated with Dilib version V0.6.33. |